projects / emacs.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: de229ee) | patch
More Texinfo 5 updates for make-manuals (not yet finished)
authorGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:24:27 +0000 (19:24 -0800)
committerGlenn Morris <rgm@gnu.org>
Fri, 3 Jan 2014 03:24:27 +0000 (19:24 -0800)
commit517f20c53356753d00f6df952318ef11d8bf7adc
tree79dff6ec80b911a490429b2723e9b6dae268a1d7tree | snapshot
parentde229ee3d4597519397f259bab4312edc100dbd1commit | diff
More Texinfo 5 updates for make-manuals (not yet finished)

* admin/admin.el (manual-html-fix-headers): Tweak Texinfo 5 body.
(manual-html-fix-node-div): Treat "header" like "node".
(manual-html-fix-index-1): Handle Texinfo 5 top heading.
(manual-html-fix-index-2): Tweak Texinfo 5 listing tables.
admin/ChangeLog diff | blob | history
admin/admin.el diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.